Local Termination: theory and practice
نویسندگان
چکیده
منابع مشابه
Local Termination: theory and practice
The characterisation of termination using well-founded monotone algebras has been a milestone on the way to automated termination techniques, of which we have seen an extensive development over the past years. Both the semantic characterisation and most known termination methods are concerned with global termination, uniformly of all the terms of a term rewriting system (TRS). In this paper we ...
متن کاملOrderings and Constraints: Theory and Practice of Proving Termination
In contrast to the current general way of developing tools for proving termination automatically, this paper intends to show an alternative program based on using on the one hand the theory of term orderings to develop powerful and widely applicable methods and on the other hand constraint based techniques to put them in practice. In order to show that this program is realizable a constraint-ba...
متن کاملSchwab's Practical Theory: Integrate of Theory and Practice
The emergence of re-conceptualism in the field of curriculum studies caused a large rotation of identity in this field. The book titled "understanding of curriculum" by William Pinar may be considered the most outstanding work in the field. In this book, movement which affected pre re-conceptualist, are introduced as the traditional type and it is believed the new curriculum discourses should b...
متن کاملCompetency-Based Curriculum: Linking Theory and Practice
Background and objective: Most higher education curricula do not provide the competencies graduates need in the occupational fields, resulting in waste of money and lower effectiveness while increasing the number of unemployed graduates. Competency-based education is an innovative educational model that can solve such problems and lead education activists to design competency-based curricula. T...
متن کاملLocal Reasoning for Termination
In this paper, we bridge the gap between separation logic and transition invariants in order to obtain a uniform framework for proving total correctness of pointer programs. We introduce the concept of separated transition constraints to describe the local effect of pointer programs. Separated transition constraints provide a new view on locality by their non-tight interpretation. Furthermore, ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logical Methods in Computer Science
سال: 2010
ISSN: 1860-5974
DOI: 10.2168/lmcs-6(3:20)2010